ACM SIGLOG or SIGLOG is the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

Special Interest Group on Logic and Computation. It publishes a news magazine (''SIGLOG News''), and has the annual ACM-IEEE Symposium on Logic in Computer Science (LICS) as its flagship conference.. In addition, it publishes an online newsletter, the ''SIGLOG Monthly Bulletin'' (formerly the ''LICS Newsletter''), and "maintains close ties" with the related academic journal ''

ACM Transactions on Computational Logic ''ACM Transactions on Computational Logic'' (''ACM TOCL'') is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premie ...

''. The creation of this special interest group was suggested in 2007 by

Moshe Vardi , honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces = Rice UniversityIBM ResearchStanford University , alma_mater = , thesis_title = The I ...

and

Dana Scott Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, Ca ...

, and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, with

Prakash Panangaden Prakash Panangaden is an American/Canadian computer scientist noted for his research in programming language theory, concurrency theory, Markov processes and duality theory. Earlier he worked on quantum field theory in curved space-time and radia ...

as its founding chair, and with Andrzej Murawski as the founding editor of the newsletter.

Alonzo Church Award

In 2015, SIGLOG established, in cooperation with

EATCS The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

EACSL The European Association for Computer Science Logic (EACSL), founded 14 July 1992,
. Description of goals from EACSL official web ...

and the

Kurt Gödel Society The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Gödel, ...

, the ''Alonzo Church Award for Outstanding Contributions to Logic and Computation''. The list of past award winners is maintained by the EACSL. * 2016

Rajeev Alur Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata (Alur and Dil ...

and David Dill "for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact." * 2017

Samson Abramsky Samson Abramsky (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at the University of Oxford, from 2000 to 2021. He has made contributions to t ...

, Radha Jagadeesan, Pasquale Malacaria,

Martin Hyland (John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science. Education H ...

, Luke Ong, and Hanno Nickau "for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact of these models." * 2018 Tomás Feder and

Moshe Y. Vardi , honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces = Rice UniversityIBM ResearchStanford University , alma_mater = , thesis_title = The I ...

"for fundamental contributions to the computational complexity of constraint-satisfaction problems." * 2019 Murdoch J. Gabbay and Andrew M. Pitts for "their ground-breaking work introducing the theory of nominal representations, a powerful and elegant mathematical model for computing with data involving atomic names." * 2020

Ronald Fagin Ronald Fagin (born 1945) is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center. He is known for his work in database theory, finite model theory, and reasoning about knowledge. Biography Ron ...

Phokion G. Kolaitis Phokion G. Kolaitis ACM (born July 4, 1950) is a computer scientist who is currently a Distinguished Research Professor at UC Santa Cruz and a Principal Research Staff Member at the IBM Almaden Research Center. His research interests include pr ...

, Renée J. Miller, Lucian Popa, and

Wang-Chiew Tan Wang-Chiew Tan is a Singaporean computer scientist specializing in data management and natural language processing. Her work in data management includes data provenance (or data lineage) and data integration. She is currently a Research Scientist ...

for "their ground-breaking work on laying the logical foundations for data exchange." * 2021

Georg Gottlob Georg Gottlob FRS is an Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Oxford. Education Gottlob obtained his undergraduate and PhD ...

, Christoph Koch, Reinhard Pichler, Klaus U. Schulz, and Luc Segoufin for "fundamental work on logic-based web data extraction and querying tree-structured data."

References

{{Authority control Association for Computing Machinery Special Interest Groups